Hyperclone Lattice and Embeddings
نویسندگان
چکیده
In this paper, hyperclone lattice is studied via three kinds of embeddings. One is from the clone lattice on A to the hyperclone lattice on A, the second is from the hyperclone lattice on A to the clone lattice on P (A) \ {∅} and the third one is from the hyperclone lattice on A′ to the hyperclone lattice on A, for A′ ⊂ A and the finite set A. The second map has usually been used for the description of hyperclone lattice, but one can see from this paper that hyperclone lattice on A is in some way thin in the clone lattice on P (A) \ {∅}. However, we show that the first and the third embeddings are full order embeddings and they are used to lift several properties. AMS Mathematics Subject Classification (2000): 08A40
منابع مشابه
A classification of hull operators in archimedean lattice-ordered groups with unit
The category, or class of algebras, in the title is denoted by $bf W$. A hull operator (ho) in $bf W$ is a reflection in the category consisting of $bf W$ objects with only essential embeddings as morphisms. The proper class of all of these is $bf hoW$. The bounded monocoreflection in $bf W$ is denoted $B$. We classify the ho's by their interaction with $B$ as follows. A ``word'' is a function ...
متن کاملUpward Saturated Hyperclones
Hyperoperations are mappings that assign a non-void subset of a set to each n-tuple of elements from the set. They present a fundamental notion for modeling non deterministic processes. Even though for each non deterministic automaton there is a language equivalent deterministic automaton, they do not have the same behavior. As behavior of concurrent processes took place in emerging fields of t...
متن کاملCongruence Lifting of Diagrams of Finite Boolean Semilattices Requires Large Congruence Varieties
We construct a diagram D⊲⊳, indexed by a finite partially ordered set, of finite Boolean 〈∨, 0, 1〉-semilattices and 〈∨, 0, 1〉-embeddings, with top semilattice 2, such that for any variety V of algebras, if D⊲⊳ has a lifting, with respect to the congruence lattice functor, by algebras and homomorphisms in V, then there exists an algebra U in V such that the congruence lattice of U contains, as a...
متن کاملStone Algebra Extensions with Bounded Dense Set
Stone algebras have been characterized by Chen and Grätzer in terms of triples (B;D;'), whereD is a distributive lattice with 1; B is a Boolean algebra, and ' is a bounded lattice homomorphism from B into the lattice of lters of D: If D is bounded, the construction of these characterizing triples is much simpler, since the homomorphism ' can be replaced by one from B into D itself. The triple ...
متن کاملLifting retracted diagrams with respect to projectable functors
We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by a lattice, of finite Boolean 〈∨, 0〉-semilattices with 〈∨, 0〉-embeddings, can be lifted with respect to the Conc functor on lattices, then so can every diagra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006